Abigail Marsh Education Carnegie Mellon University, Pittsburgh, PA • Doctor of Philosophy in Computer Science August 2013 – Present

Source URL: abbymarsh.com

Parikh’s Theorem for Weighted and Probabilistic Context-Free Grammars Vijay Bhattiprolu1 , Spencer Gordon2 , and Mahesh Viswanathan2 1 Carnegie Mellon University, Pittsburgh PA 15213, USA,

Source URL: vspvijay.com

Two Kinds of Foundations Robert Harper Computer Science Department Carnegie Mellon University LFCS 30th Anniversary Celebration

Source URL: events.inf.ed.ac.uk

δ-Complete Decision Procedures for Satisfiability over the Reals⋆ Sicun Gao, Jeremy Avigad, and Edmund M. Clarke Carnegie Mellon University, Pittsburgh, PAAbstract. We introduce the notion of “δ-complete de

Source URL: scungao.github.io

• Theoretical computer science
• Computability theory
• Computational complexity theory
• Theory of computation
• Constructivism
• Fourier analysis
• Formal methods
• Computable number
• Computable analysis
• Computable function
• NC
• Modulus of continuity

Hierarchical Data-driven Descent for Efficient Optimal Deformation Estimation Srinivasa G. Narasimhan Carnegie Mellon University 5000 Forbes Ave, Pittsburgh, PA 15213

Source URL: yuandong-tian.com

Adaptive Regret Minimization in Bounded-Memory Games ? Jeremiah Blocki, Nicolas Christin, Anupam Datta, and Arunesh Sinha Carnegie Mellon University, Pittsburgh, PA {jblocki, nicolasc, danupam, aruneshs}@cmu.edu

Source URL: sharps.org

Symposium: Internationalizing the Learning Sciences from Formal to Informal Learning Environments Co-Chairs: Carolyn Penstein Rosé & Matthew Kam, Carnegie Mellon University, 5000 Forbes Avenue, Pittsburgh, PA 15213, {cp

Source URL: moraveji.org

Recent Updates to ACT-R Dan Bothell Carnegie Mellon University ACT-R 6.1 • Current version of ACT-R is 6.1

Source URL: act-r.psy.cmu.edu

Diffusion scaling of a limit-order book model Steven E. Shreve Department of Mathematical Sciences Carnegie Mellon University nearly complete work with

Source URL: cemapre.iseg.ulisboa.pt

80. CP violation in KL decaysCP Violation in KL Decays Updated April 2016 by L. Wolfenstein (Carnegie-Mellon University), C.-J. Lin (LBNL), and T.G. Trippe (LBNL). The symmetries C (particle-antiparticle intercha

Source URL: pdg.lbl.gov